--- Check resolution for 'https://github.com/Frege/frege/issues/203 Issue 203'
module tests.comp.Issue203 where

data R a = R { v :: a, f :: forall b.a -> [b] -> [b] }

x = R 42 drop

y = x.{f <- \f i -> drop i . f i}

z = x.{f = take}

main = do
    println (x.f 10 (replicate 13 "3×Ok"))
    println (y.f 10 (replicate 23 "3×Ok"))
    println (z.f  3 (repeat "3×Ok"))